acm sigbed
|
emsoft
|
participants
Xinyi Yu
EMSOFT 2025: 25th International Conference on Embedded Software
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao
,
Xinyi Yu
,
Bardh Hoxha
,
Georgios Fainekos
,
Jyotirmoy V. Deshmukh
, and
Lars Lindemann
10.1145/3760258
https://arxiv.org/abs/2507.15147